Verifying Design with Proof Scores Kokichi FUTATSUGI1 , Joseph A. GOGUEN2 , and Kazuhiro OGATA3 1 Japan Advanced Institute of Science and Technology (JAIST)

Source URL: vstte.ethz.ch

V IS M ASHUP: Streamlining the Creation of Custom Visualization Applications ´ Emanuele Santos, Lauro Lins, James P. Ahrens, Juliana Freire, and Claudio T. Silva, Senior Member, IEEE

Source URL: vgc.poly.edu

• Software
• Computing
• Software design patterns
• Graphical user interfaces
• Workflow technology
• VisTrails
• Inter-process communication
• Mashup
• Pipeline
• Visualization
• VisIt
• Software widget

Simulation Optimization of Police Patrol District Design Using an Adjusted Simulated Annealing Approach Yue Zhang, Donald Brown Predictive Technology Laboratory, Department of Systems and Information Engineering, Univers

Source URL: ptl.sys.virginia.edu

• Scientific modeling
• Operations research
• Applied mathematics
• Metaheuristics
• Simulated annealing
• Simulation
• Numerical analysis
• Algorithm
• Computer simulation
• Annealing
• Discrete event simulation
• Mathematical optimization

Linguistic Search Engine Adam Kilgarriff Synopsis We propose to build a linguistic search engine, similar in overall design to Google or Altavista but meeting the specifications and requirements

Source URL: kilgarriff.co.uk

• Applied linguistics
• Computational linguistics
• Natural language processing
• Cognitive science
• Internet search engines
• Word-sense disambiguation
• Corpus linguistics
• British National Corpus
• Adam Kilgarriff
• Search engine indexing
• Search engine technology
• Linguistics

A Simple Microprocessor RISC Processors
Architectures and complex instruction sets: ⇒ Long design time (control circuit,…) ⇒ Fast evolution of technology not fully taken

Source URL: pages.saclay.inria.fr

Computation Group Lecture Series, Department of Architecture, Massachusetts Institute of Technology “Simulation and nature in design” October 29,:30 - 2:00pm Room 7-431

Source URL: descomp.scripts.mit.edu

The CREATE Signal Library (“Sizzle”): Design, Issues, and Applications Stephen Travis Pope and Chandrasekhar Ramakrishnan Center for Research in Electronic Art Technology (CREATE) University of California, Santa Barb

Source URL: fastlabinc.com

FREQUENCY OFFSET CORRECTION IN SPEECH WITHOUT DETECTING PITCH Pascal Clark, Sri Harish Mallidi, Aren Jansen, and Hynek Hermansky Human Language Technology Center of Excellence, Center for Language and Speech Processing J

Source URL: hltcoe.jhu.edu

• Signal processing
• Fourier analysis
• Electronic design
• Single-sideband modulation
• Amateur radio
• Integral transforms
• Modulation
• Frequency modulation
• Orthogonal frequency-division multiplexing
• Baseband
• Analytic signal
• Types of radio emissions

Do You Need Breakthrough Solutions? Do You Want More Innovation?

Source URL: www.solutionpeople.com

• Innovation
• Science and technology studies
• Design
• Creativity

HAND DRIERS Hand Driers Specialist Range • The new range of high quality, warm air hand driers from Manrose incorporates the latest technology and design, and is available in push

Source URL: manrose.com